Continuous Previsions
نویسنده
چکیده
We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent proposals by Mislove, Tix, Keimel, and Plotkin. We show that our monads are sound and complete, in the sense that they model exactly the interaction between probabilistic and (demonic, angelic, chaotic) choice.
منابع مشابه
Prevision Domains and Convex Powercones
Two recent semantic families of models for mixed probabilistic and non-deterministic choice over a space X are the convex powercone models, due independently to Mislove, and to Tix, Keimel, and Plotkin, and the continuous prevision model of the author. We show that, up to some minor details, these models are isomorphic whenever X is a continuous, coherent cpo, and whether the particular brand o...
متن کاملContinuous Linear Representation of Coherent Lower Previsions
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spanned by the coherent lower previsions and that of an appropriate space of continuous linear functionals. Moreover, we show that a lower prevision is coherent if and only if its transform is monotone. We also discuss the ...
متن کاملEnvelope Theorems and Dilation with Convex Conditional Previsions
This paper focuses on establishing envelope theorems for convex conditional lower previsions, a recently investigated class of imprecise previsions larger than coherent imprecise conditional previsions. It is in particular discussed how the various theorems can be employed in assessing convex previsions. We also consider the problem of dilation for these kinds of imprecise previsions, and point...
متن کاملConvex Imprecise Previsions: Basic Issues and Applications
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. We show that convex previsions are related with a concept of convex natural estension, which is useful in correcting a large class of inconsistent imprecise probability assessments. This class is characterised by a condit...
متن کاملUncertainty modelling and conditioning with convex imprecise previsions
Two classes of imprecise previsions, which we termed convex and centered convex previsions, are studied in this paper in a framework close to Walley’s and Williams’ theory of imprecise previsions. We show that convex previsions are related with a concept of convex natural estension, which is useful in correcting a large class of inconsistent imprecise probability assessments, characterised by a...
متن کامل